| O | | | Object-based selection of spatial frames of reference in aṣ-Ṣāniʹ Arabic | 2016-153T | | On some problems in Sasakian and Kähler geometry | 2016-182T | | On the detachment of FRP stiffeners from brittle-elastic substrates | 2016-628T | | An ontological approach supporting the development of safety-critical software | 2016-506T | | Open educational practices e nuovi modelli di e-learning | 2016-148T | | L’Opera dello straccione di Vito Pandolfi | 2016-740T | | Optimal space time adaptive processing for multichannel inverse synthetic aperture radar imaging | 2016-588T | | Optimization methods for large scale problems and applications to machine learning | 2016-1T | | Optimizations and cost models for multi-core architectures | 2016-5T | | Organic molecules for molecular and organic electronics | 2016-206T | | Oscillation phenomena between ordinary and dark matter particles | 2016-195T | | Ozone and climate change impacts on forest ecosystems | 2016-662T |
|
| Bicchierai, Irene.
An ontological approach supporting the development of safety-critical software : dissertation submitted in partial fulfillment of the requirements for the degree of doctor of philosophy in informatics engineering, multimedia and telecommunications / Irene Bicchierai ; Ph.D. coordinator: Luigi Chisci ; advisors: Enrico Vicario, Giacomo Bucci. [Firenze, 2014].
1 volume : ill.
XXVI ciclo, 2011-2013. In testa al frontespizio: Università degli studi Firenze, Dipartimento di ingegneria dell'informazione, dottorato di ricerca in ingegneria informatica, multimedialità e telecomunicazioni.
Altro autore:
Università degli studi di Firenze : Dipartimento di ingegneria dell'informazione
621.3 ING-INF/05
BNI 2016-506T
|
